Extended Larché–Cahn framework for reactive Cahn–Hilliard multicomponent systems
نویسندگان
چکیده
At high temperature and pressure, solid diffusion chemical reactions between rock minerals lead to phase transformations. Chemical transport during uphill causes separation, that is, spinodal decomposition. Thus, describe the coarsening kinetics of exsolution microstructure, we derive a thermodynamically consistent continuum theory for multicomponent Cahn--Hilliard equations while accounting multiple neglecting deformations. Our approach considers balances microforces augmented by constituent content balance within an extended Larch\'e--Cahn framework. As framework, incorporate into derivatives with respect fields their gradients. We also explain implications resulting constrained gradients in form gradient energy coefficients. Moreover, configurational includes all associated agreement study separation three-component system whose microstructural evolution depends upon reaction-diffusion interactions analyze underlying fields. This simulation portrays interleaving reaction processes how tractions drive motion interfaces.
منابع مشابه
An Authorization Framework for Database Systems
Today, data plays an essential role in all levels of human life, from personal cell phones to medical, educational, military and government agencies. In such circumstances, the rate of cyber-attacks is also increasing. According to official reports, data breaches exposed 4.1 billion records in the first half of 2019. An information system consists of several components, which one of the most im...
متن کاملA Logic-Based Framework for Reactive Systems
We sketch a logic-based framework in which computation consists of performing actions to generate a sequence of states, with the purpose of making a set of reactive rules in the logical form antecedents consequents all true. The antecedents of the rules are conjunctions of past or present conditions and events, and the consequents of the rules are disjunctions of conjunctions of future condit...
متن کاملREACT: a simple framework for reactive systems
Many systems developed in Philips Research, especially those that serve as demonstrators for research ideas or product proposals developed in the Lifestyle sector, are so-called reactive systems. A reactive system consists of sensors, actuators and a control module. Sensors and actuators are usually realized in hardware while the control module is usually realized in software. The control modul...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
A Framework for Evaluating Specification Methods for Reactive Systems Experience
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences between the methods are hard to determine, choosing the best method for a particular application can be difficult. We have applied several different methods, including Modechart, VFSM, ESTEREL, Basic LOTOS, Z, SDL and C, to an application problem encountered in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Continuum Mechanics and Thermodynamics
سال: 2021
ISSN: ['0935-1175', '1432-0959']
DOI: https://doi.org/10.1007/s00161-021-01045-9